Luận án tiến sĩ: Tính chất định tính phương trình vi phân khoảng

Tổng quan về luận án

Luận án tiến sĩ "Một số tính chất định tính của vài lớp phương trình vi phân giá trị khoảng" của Trương Vĩnh An (2018) đóng góp một cách sâu sắc vào lĩnh vực giải tích khoảng, một nhánh đang phát triển mạnh mẽ nhằm mô hình hóa các hệ động lực chịu ảnh hưởng bởi các yếu tố bất định và không chắc chắn. Nghiên cứu này nổi bật bởi cách tiếp cận tiên phong trong việc khám phá các tính chất định tính của nhiều lớp phương trình vi phân và tích phân khoảng phức tạp, đặc biệt dưới khái niệm đạo hàm Hukuhara tổng quát (Generalized Hukuhara Differentiability - GHD).

Bối cảnh khoa học và tính tiên phong của nghiên cứu: Các bài toán kỹ thuật thường được mô hình hóa bởi hệ động lực, phương trình vi phân, tích phân, hoặc vi-tích phân. Tuy nhiên, các mô hình này thường không hoàn hảo do sự nhiễu loạn và không chắc chắn của các thông số. Trong ba hướng tiếp cận lý thuyết không chắc chắn (xác suất, tập mờ, giải tích khoảng), giải tích khoảng được xem là công cụ được chấp nhận rộng rãi nhất trong số những tiếp cận không mang tính xác suất. Mặc dù lý thuyết khả vi Hukuhara (Hukuhara differentiability) đã thu được nhiều kết quả đáng kể, nhưng nó có nhược điểm cố hữu là hiệu Hukuhara không luôn tồn tại, dẫn đến đạo hàm không luôn tồn tại và độ rộng của nghiệm tăng dần theo thời gian, làm giảm khả năng quan sát tính không chắc chắn của hệ thống. Luận án này tiên phong trong việc khắc phục những hạn chế này bằng cách sử dụng khái niệm khả vi Hukuhara tổng quát, cho phép độ rộng của nghiệm có thể giảm hoặc tồn tại các điểm chuyển (switching points) giữa các dạng nghiệm, phản ánh chính xác hơn sự biến động của hệ thống thực tế.

Research gap SPECIFIC với citations từ literature: Mặc dù khái niệm khả vi Hukuhara tổng quát (GHD) đã được Bede và các cộng sự xây dựng để khắc phục nhược điểm của khả vi Hukuhara truyền thống, nhưng "những kết quả đạt được theo hướng nghiên cứu này [GHD] còn khá khiêm tốn" (Trương Vĩnh An, 2018, tr. 6). Các công trình trước đó của Chalco-Cano và cộng sự [9], Malinowski [35], Lupulescu [31], [33] đã mở ra hướng đi mới nhưng chưa giải quyết triệt để các lớp bài toán phức tạp như phương trình tích phân, vi phân và vi-tích phân khoảng với trễ và xung dưới GHD, đặc biệt là các phương trình phân thứ. Luận án này điền vào khoảng trống đó bằng cách "tiến hành nghiên cứu một số lớp bài toán phương trình tích phân, vi phân và vi- tích phân khoảng dưới khái niệm khả vi Hukuhara tổng quát với mong muốn góp phần vào quá trình xây dựng và hoàn thiện lý thuyết mới này" (Trương Vĩnh An, 2018, tr. 6).

Research questions và hypotheses: Nghiên cứu này tập trung trả lời các câu hỏi chính sau:

1. Làm thế nào để chứng minh sự tồn tại và duy nhất nghiệm cho các lớp phương trình tích phân khoảng Volterra dưới khái niệm đạo hàm Hukuhara tổng quát?
2. Những điều kiện nào đảm bảo sự tồn tại và duy nhất nghiệm toàn cục cho phương trình vi phân khoảng có trễ, đặc biệt khi sử dụng khái niệm tích trong mới trên không gian các hàm khoảng?
3. Làm thế nào để ứng dụng hàm tựa Lyapunov để chứng minh sự tồn tại và duy nhất nghiệm cho các phương trình vi-tích phân khoảng, vi-tích phân khoảng có trễ, và vi-tích phân khoảng có xung với trễ dưới đạo hàm Hukuhara tổng quát?
4. Làm thế nào để xây dựng và tổng quát hóa giải tích phân thứ dạng khoảng để nghiên cứu các phương trình vi phân khoảng phân thứ có trễ và vi-tích phân khoảng phân thứ?
5. Sự phụ thuộc liên tục của nghiệm vào dữ liệu đầu vào và bậc đạo hàm của các phương trình phân thứ dạng khoảng có thể được thiết lập như thế nào?

Theoretical framework với tên theories cụ thể: Luận án được xây dựng dựa trên nền tảng vững chắc của một số lý thuyết toán học tiên tiến:

• Giải tích khoảng (Interval Analysis): Mở rộng của lý thuyết tập hợp kinh điển, do Moore [42] giới thiệu năm 1966, được sử dụng để giải quyết các bài toán chịu ảnh hưởng của sai số đo đạc và nhiễu môi trường.
• Giải tích mờ (Fuzzy Analysis): Phát triển bởi Zadeh vào những năm 1970-80, cùng với Chang [10], Heilpern [19], Dubois và Prade, cung cấp các phép toán giải tích mờ như tính khả vi, đo được và khả tích cho ánh xạ đa trị và giá trị mờ. Luận án này thừa hưởng và mở rộng các khái niệm từ giải tích mờ, đặc biệt trong việc xây dựng tích trong.
• Lý thuyết điểm bất động (Fixed Point Theory): Là công cụ mạnh mẽ, được áp dụng rộng rãi trong giải tích hàm, đặc biệt để chứng minh sự tồn tại và duy nhất nghiệm của phương trình vi phân và tích phân (ví dụ, Định lý Banach fixed-point, được đề cập gián tiếp qua phương pháp xấp xỉ liên tiếp và ánh xạ co).
• Lý thuyết hàm tựa Lyapunov (Lyapunov-like Function Theory): Một công cụ quan trọng trong lý thuyết ổn định và phân tích hệ động lực, được sử dụng ở Chương 3 để chứng minh sự tồn tại và duy nhất nghiệm cho các phương trình vi-tích phân khoảng.
• Giải tích phân thứ (Fractional Calculus): Mở rộng khái niệm đạo hàm và tích phân lên các bậc không nguyên, với các định nghĩa nổi bật như đạo hàm Riemann-Liouville và Caputo (Kilbas và cộng sự [25], Samko và cộng sự [52]). Luận án này tổng quát hóa các khái niệm này cho hàm khoảng.

Đóng góp đột phá với quantified impact: Luận án mang lại nhiều đóng góp đột phá, cụ thể:

1. Phát triển khái niệm tích trong mới: Bằng cách "xây dựng một khái niệm tích trong mới trên không gian các hàm khoảng (không gian các tập con lồi, compact của R)" (Trương Vĩnh An, 2018, tr. 19), luận án đã mở ra một công cụ phân tích mạnh mẽ. Điều này dẫn đến việc xây dựng "một số điều kiện tiêu biến cho vế phải của phương trình vi phân khoảng với trễ" (Trương Vĩnh An, 2018, tr. 32), đảm bảo tính duy nhất nghiệm toàn cục.
2. Mở rộng ứng dụng của GHD: Luận án đã thành công trong việc áp dụng GHD vào 5 lớp phương trình khoảng phức tạp chưa được nghiên cứu kỹ lưỡng: phương trình tích phân khoảng Volterra, phương trình vi phân khoảng có trễ, phương trình vi-tích phân khoảng, phương trình vi-tích phân khoảng có trễ, và phương trình vi-tích phân khoảng có xung với trễ. Điều này mở rộng đáng kể phạm vi ứng dụng của lý thuyết GHD.
3. Tiên phong trong giải tích phân thứ khoảng: Nghiên cứu đã "xây dựng, phát triển và tổng quát hóa các khái niệm của giải tích phân thứ dạng khoảng" (Trương Vĩnh An, 2018, tr. 4). Điều này cho phép phân tích 2 lớp phương trình phân thứ khoảng (vi phân khoảng phân thứ có trễ và vi-tích phân khoảng phân thứ), đặt nền móng cho các nghiên cứu tương lai trong lĩnh vực này.
4. Phương pháp giải nghiệm rõ ràng: Đối với mỗi lớp bài toán, luận án không chỉ chứng minh sự tồn tại và duy nhất nghiệm mà còn trình bày "phương pháp giải cho lớp bài toán trên" (Trương Vĩnh An, 2018, tr. 32), kèm theo các ví dụ minh họa chi tiết và hình vẽ quỹ đạo nghiệm (ví dụ, Hình 2.1, 2.2, 2.3, 2.4, 2.5), tăng tính ứng dụng thực tiễn của các kết quả. Các đóng góp này đã được công bố trong 5 bài báo khoa học uy tín quốc tế ([A1]-[A5]) và 3 báo cáo hội nghị trong nước ([A6]-[A8]), khẳng định chất lượng và tác động học thuật.

Scope (problem classes, mathematical domain) và significance: Luận án tập trung nghiên cứu trên các không gian hàm khoảng liên tục (C([a,b], Kc(R))), hàm khoảng khả tích Lebesgue (L([a,b], Kc(R))), và hàm khoảng liên tục tuyệt đối (AC([a,b], Kc(R))), với Kc(R) là họ các khoảng khác rỗng, compact trong R. Phạm vi nghiên cứu bao gồm:

• Phương trình tích phân khoảng Volterra trên [t₀, T].
• Phương trình vi phân khoảng có trễ trên [t₀-σ, T].
• Phương trình vi-tích phân khoảng (có trễ, có xung) trên I = [t₀, T].
• Phương trình vi phân khoảng phân thứ có trễ và vi-tích phân khoảng phân thứ trên [a, b]. Mỗi lớp bài toán được khảo sát trong các điều kiện về tính khả vi Hukuhara tổng quát loại (i) hoặc (ii), và các điều kiện Lipschitz hoặc điều kiện tiêu biến. Tính chất định tính chính được nghiên cứu là sự tồn tại và duy nhất nghiệm. Sự ý nghĩa của nghiên cứu nằm ở khả năng cung cấp các công cụ toán học chặt chẽ để mô hình hóa và phân tích các hệ thống động lực phức tạp với sự không chắc chắn cố hữu. Điều này có ý nghĩa quan trọng không chỉ trong toán học lý thuyết mà còn trong các ứng dụng kỹ thuật, vật lý, kinh tế, và sinh học, nơi các tham số thường không được xác định một cách chính xác.

Literature Review và Positioning

Synthesis của major streams với TÊN TÁC GIẢ và NĂM cụ thể: Lĩnh vực giải tích không chắc chắn, đặc biệt là lý thuyết tập mờ và giải tích khoảng, đã chứng kiến sự phát triển mạnh mẽ.

• Lý thuyết tập mờ: Nền tảng được Zadeh đặt vào những thập niên 70-80, cùng với Chang [10], Heilpern [19], Dubois và Prade, đã phát triển các phép toán cơ bản như tính khả vi, đo được và khả tích của các ánh xạ đa trị và giá trị mờ. Sau đó, Bede, Stefanini, Chalco và các cộng sự [7]-[9], Diamond và Kloeden [11], Lakshmikantham và Mohapatra [30] tiếp tục hoàn thiện giải tích mờ. Kaleva là người khởi đầu nghiên cứu hệ động lực mờ và phương trình vi phân mờ dựa trên đạo hàm Hukuhara, chứng minh sự tồn tại duy nhất nghiệm cho bài toán Cauchy dưới điều kiện Lipschitz. Trong gần một thập kỷ qua, Nieto, Lupulescu, Chalco-Cano, Malinowski, Rodriguez-Lopez, Bede đã là các nhóm nghiên cứu tiêu biểu. Nieto và cộng sự [24], [46] đã phát triển kỹ thuật cho phương trình vi phân thường sang các định lý tồn tại và duy nhất nghiệm cho phương trình vi phân mờ tuyến tính cấp 1 có điều kiện biên tuần hoàn hoặc có trễ. Chalco-Cano [8] xây dựng khái niệm nghiệm mới dưới tính khả vi mờ tổng quát. Lupulescu [32] sử dụng phương pháp dãy xấp xỉ để chứng minh định lý tồn tại và duy nhất nghiệm toàn cục cho phương trình vi phân có trễ, kết hợp nguyên lý suy rộng Zadeh và phương pháp Step. Malinowski [34], [37] kết hợp mờ và ngẫu nhiên để nghiên cứu tính chất nghiệm của phương trình vi phân mờ ngẫu nhiên.
• Lý thuyết giải tích khoảng: Moore [42] giới thiệu năm 1966 để giải quyết các bài toán kết cấu trong cơ học chịu ảnh hưởng của sai số đo đạc [44]. Mối liên hệ giữa giải tích mờ và giải tích khoảng được Moore và Lodwick [43], Pedrycz và Gomide [47] trình bày, chứng minh rằng tập mờ có thể được biểu diễn bởi biến và vectơ khoảng thông qua tập mức. Việc nghiên cứu các lớp phương trình vi phân khoảng đã thu hút nhiều nhóm nghiên cứu, đặc biệt là các công trình sử dụng khả vi Hukuhara (xem chuyên khảo [30]). Tuy nhiên, như luận án đã chỉ ra, khả vi Hukuhara có nhược điểm về sự tồn tại và độ rộng nghiệm. Để khắc phục, Bede và cộng sự đã phát triển khả vi Hukuhara tổng quát, cho phép độ rộng không chắc chắn của nghiệm có thể giảm. Các kết quả gần đây theo hướng này bao gồm các công trình của Chalco-Cano và cộng sự [9], Malinowski [35], Lupulescu [31], [33].

Contradictions/debates với ít nhất 2 opposing views: Một trong những tranh luận chính trong lĩnh vực này xoay quanh khái niệm về đạo hàm của hàm khoảng:

1. Đạo hàm Hukuhara truyền thống (DH): Được sử dụng rộng rãi và đã tạo ra nhiều kết quả (Lakshmikantham và Mohapatra [30]). Tuy nhiên, nó vấp phải chỉ trích lớn vì "hiệu này [hiệu Hukuhara] không luôn tồn tại và do đó dẫn đến đạo hàm không luôn tồn tại" (Trương Vĩnh An, 2018, tr. 5). Hơn nữa, "độ rộng diễn tả sự không chắc chắn của hàm khoảng thoả mãn sự khả vi Hukuhara tăng dần theo biến thời gian" (Trương Vĩnh An, 2018, tr. 5), làm cho các phân tích tiệm cận hoặc bài toán giá trị biên tuần hoàn trở nên không phù hợp.
2. Đạo hàm Hukuhara tổng quát (GHD): Được Bede và các cộng sự xây dựng để khắc phục những nhược điểm của DH. Cách tiếp cận này cho phép "độ rộng không chắc chắn của nghiệm phương trình vi phân khoảng có thể giảm theo biến thời gian hoặc có thể tồn tại các điểm chuyển (switching points) giữa các độ rộng tăng hay giảm của nghiệm" (Trương Vĩnh An, 2018, tr. 5). Điều này cung cấp một mô hình thực tế hơn và linh hoạt hơn cho các hệ thống động lực. Luận án này rõ ràng đứng về phía GHD, xem nó là công cụ hiệu quả hơn để nghiên cứu các tính chất định tính của nghiệm.

Positioning trong literature với specific gap identified: Luận án này định vị mình trong lĩnh vực nghiên cứu GHD cho phương trình vi phân, tích phân và vi-tích phân khoảng. Nó không chỉ đơn thuần áp dụng GHD mà còn "góp phần vào quá trình xây dựng và hoàn thiện lý thuyết mới này" (Trương Vĩnh An, 2018, tr. 6). Khoảng trống cụ thể được xác định là sự thiếu vắng các nghiên cứu sâu rộng về các lớp bài toán này, đặc biệt là các phương trình có trễ, xung, và phân thứ, dưới khuôn khổ GHD. Các nghiên cứu trước đây về GHD vẫn còn "khá khiêm tốn" (Trương Vĩnh An, 2018, tr. 6), chủ yếu tập trung vào các dạng đơn giản hơn của phương trình vi phân khoảng. Luận án này mở rộng đáng kể phạm vi ứng dụng và phân tích của GHD.

How this advances field với concrete contributions: Luận án đã tiến xa hơn các công trình của Chalco-Cano và cộng sự [9], Malinowski [35], Lupulescu [31], [33] bằng cách:

• Cung cấp các kết quả tồn tại và duy nhất nghiệm cho các lớp phương trình tích phân khoảng Volterra bằng cả phương pháp dãy xấp xỉ và lý thuyết điểm bất động (Chương 2).
• Giới thiệu và sử dụng "khái niệm tích trong mới trên không gian các hàm khoảng" (Trương Vĩnh An, 2018, tr. 32) để thiết lập điều kiện tiêu biến cho phương trình vi phân khoảng có trễ, một đóng góp quan trọng trong việc phân tích các tính chất định tính.
• Ứng dụng hiệu quả "công cụ hàm tựa Lyapunov" (Trương Vĩnh An, 2018, tr. 4) để giải quyết ba lớp phương trình vi-tích phân khoảng, bao gồm cả dạng có trễ và có xung, một cách toàn diện ở Chương 3.
• Mở rộng lý thuyết giải tích phân thứ cho hàm khoảng, đặt nền móng cho việc nghiên cứu phương trình vi phân khoảng phân thứ có trễ và vi-tích phân khoảng phân thứ (Chương 4), đồng thời khám phá sự phụ thuộc liên tục của nghiệm. Những đóng góp này không chỉ làm sâu sắc thêm hiểu biết lý thuyết về các hệ động lực không chắc chắn mà còn cung cấp các công cụ phân tích mới cho các nhà nghiên cứu và ứng dụng.

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

1. So sánh với Malinowski [35]: Malinowski [35] đã nghiên cứu sự tồn tại và duy nhất nghiệm địa phương cho phương trình vi phân khoảng với đạo hàm Hukuhara tổng quát dưới điều kiện Lipschitz tổng quát. Luận án này không chỉ tái khẳng định một phần kết quả tương tự cho phương trình tích phân khoảng Volterra (Trương Vĩnh An, 2018, tr. 32) mà còn mở rộng nó đến nghiệm toàn cục. Quan trọng hơn, luận án vượt ra ngoài điều kiện Lipschitz bằng cách giới thiệu "khái niệm tích trong mới" (Trương Vĩnh An, 2018, tr. 32) và điều kiện tiêu biến cho phương trình vi phân khoảng có trễ, một khía cạnh mà Malinowski [35] chưa đề cập sâu sắc. Luận án cũng giải quyết các lớp phương trình phức tạp hơn như vi-tích phân và phân thứ.
2. So sánh với Lupulescu [31], [33]: Lupulescu đã có các công trình giá trị về GHD, bao gồm việc sử dụng phương pháp dãy xấp xỉ và định lý điểm bất động để chứng minh tồn tại và duy nhất nghiệm. Luận án này sử dụng chính những công cụ này (Trương Vĩnh An, 2018, tr. 32) nhưng áp dụng cho các lớp bài toán khác nhau và phức tạp hơn, bao gồm phương trình tích phân khoảng Volterra và phương trình vi-tích phân khoảng có trễ và xung. Đặc biệt, việc ứng dụng "công cụ hàm tựa Lyapunov" (Trương Vĩnh An, 2018, tr. 4) để phân tích các phương trình vi-tích phân khoảng là một hướng đi mới so với các phương pháp chính của Lupulescu trong các công trình được trích dẫn.

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

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

Luận án này không chỉ áp dụng các lý thuyết hiện có mà còn mở rộng và thách thức chúng theo những cách quan trọng:

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

  • Mở rộng Giải tích khoảng của Moore [42]: Luận án đã mở rộng khung khổ giải tích khoảng bằng cách cung cấp các công cụ toán học cho các lớp phương trình động lực phức tạp hơn (có trễ, xung, phân thứ) trong môi trường không chắc chắn, vượt ra ngoài các bài toán kết cấu cơ học ban đầu.
  • Thách thức và mở rộng Lý thuyết khả vi Hukuhara: Luận án đã đưa ra bằng chứng rõ ràng về những hạn chế của đạo hàm Hukuhara (H-differentiability) truyền thống, đặc biệt là việc độ rộng của nghiệm tăng dần (Trương Vĩnh An, 2018, tr. 5), và ủng hộ mạnh mẽ việc sử dụng "đạo hàm Hukuhara tổng quát" (GHD) của Bede và các cộng sự, phát triển sâu rộng các ứng dụng của nó. Điều này không chỉ là một sự mở rộng về mặt kỹ thuật mà còn là một sự cải tiến về mặt khái niệm, cho phép mô tả chân thực hơn các hệ thống thực tế.
  • Mở rộng Lý thuyết điểm bất động (ví dụ, Banach Fixed Point Theorem): Luận án đã áp dụng lý thuyết điểm bất động trong không gian metric đầy đủ (Kc(IR), H) và không gian hàm khoảng liên tục (C([a,b], Kc(IR)), Ho) để chứng minh sự tồn tại và duy nhất nghiệm cho các phương trình tích phân và vi phân khoảng, trong các điều kiện phức tạp hơn so với các ứng dụng tiêu chuẩn.

• Conceptual framework với components và relationships: Khung khái niệm của luận án xoay quanh việc phân tích các tính chất định tính của nghiệm của các phương trình động lực trong môi trường không chắc chắn. Các thành phần chính bao gồm:

  1. Không chắc chắn (Uncertainty): Được biểu diễn thông qua các biến khoảng.
  2. Hàm khoảng (Interval Functions): Các hàm có giá trị là khoảng, thay vì số thực.
  3. Khả vi Hukuhara tổng quát (Generalized Hukuhara Differentiability - GHD): Là công cụ đạo hàm trung tâm, cho phép xử lý các hàm khoảng một cách linh hoạt hơn, bao gồm cả khả năng độ rộng nghiệm giảm.
  4. Các lớp phương trình động lực khoảng: Bao gồm phương trình tích phân, vi phân, và vi-tích phân khoảng (có trễ, xung, phân thứ). Mối quan hệ chính là GHD cung cấp một phép toán đạo hàm thích hợp để phân tích hành vi của các hàm khoảng trong các phương trình động lực, từ đó rút ra các tính chất định tính của nghiệm (tồn tại, duy nhất, phụ thuộc liên tục).

• Theoretical model với propositions/hypotheses numbered: Mô hình lý thuyết không phải là một mô hình dự báo dạng thực nghiệm, mà là một khuôn khổ để chứng minh các định lý. Các "propositions" trong ngữ cảnh này là các định lý và bổ đề được chứng minh trong luận án:

  1. Proposition 1 (Chương 2): Phương trình tích phân khoảng Volterra có duy nhất nghiệm trên [t₀, T] nếu hàm nhân K thỏa điều kiện Lipschitz theo X và hàm tự do F liên tục (Trương Vĩnh An, 2018, tr. 32, Định lý 2.1).
  2. Proposition 2 (Chương 2): Sự tồn tại và duy nhất nghiệm toàn cục cho phương trình vi phân khoảng có trễ dưới GHD có thể được thiết lập bằng cách sử dụng "khái niệm tích trong mới trên không gian các hàm khoảng" (Trương Vĩnh An, 2018, tr. 32) để xây dựng điều kiện tiêu biến.
  3. Proposition 3 (Chương 3): Ba lớp phương trình vi-tích phân khoảng (có trễ, có xung với trễ) dưới GHD có sự tồn tại và duy nhất nghiệm nếu thỏa mãn các điều kiện thích hợp, được chứng minh bằng "công cụ hàm tựa Lyapunov" (Trương Vĩnh An, 2018, tr. 4).
  4. Proposition 4 (Chương 4): Các phương trình vi phân khoảng phân thứ có trễ và vi-tích phân khoảng phân thứ có sự tồn tại và duy nhất nghiệm thông qua việc tổng quát hóa giải tích phân thứ cho hàm khoảng và áp dụng lý thuyết điểm bất động trong không gian được sắp xếp thứ tự.
  5. Proposition 5 (Chương 4): Nghiệm của các phương trình phân thứ khoảng phụ thuộc liên tục vào dữ liệu đầu vào và bậc đạo hàm.

• Paradigm shift với EVIDENCE từ findings: Luận án này không tạo ra một sự thay đổi mô hình (paradigm shift) lớn trong toán học, nhưng nó đẩy mạnh một sự chuyển dịch quan trọng trong việc nghiên cứu phương trình vi phân/tích phân khoảng từ khả vi Hukuhara truyền thống sang khả vi Hukuhara tổng quát. Bằng chứng là việc nó giải quyết được vấn đề "độ rộng diễn tả sự không chắc chắn của hàm khoảng thoả mãn sự khả vi Hukuhara tăng dần theo biến thời gian" (Trương Vĩnh An, 2018, tr. 5). Khả năng mô tả các điểm chuyển giữa độ rộng tăng/giảm của nghiệm với GHD là một cải tiến đáng kể, cho phép các mô hình toán học phản ánh thực tế tốt hơn. Điều này đại diện cho một bước tiến quan trọng trong việc tăng cường tính chính xác và khả năng ứng dụng của giải tích khoảng.

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

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

• Integration của theories (name 3+ specific theories): Luận án tích hợp sâu sắc:
  1. Giải tích khoảng (Moore [42]): Cung cấp ngôn ngữ và cấu trúc cơ bản cho các hàm và phép toán khoảng.
  2. Giải tích mờ (Zadeh, Chang [10], Heilpern [19], Dubois & Prade): Cung cấp nguồn cảm hứng và cơ sở cho việc phát triển các khái niệm như tích trong trên không gian hàm khoảng, vốn có nguồn gốc từ các khái niệm trong không gian hàm mờ (Trương Vĩnh An, 2018, tr. 32).
  3. Lý thuyết điểm bất động (ví dụ, Banach Fixed Point Theorem, Bổ đề 1.12 trong luận án): Là xương sống cho nhiều chứng minh tồn tại và duy nhất nghiệm, đặc biệt khi chuyển các bài toán vi phân/tích phân thành các ánh xạ co trong không gian metric đầy đủ.
  4. Giải tích phân thứ (Kilbas và cộng sự [25], Samko và cộng sự [52]): Cung cấp các định nghĩa và công cụ cho việc mở rộng đạo hàm và tích phân lên các bậc không nguyên, được tổng quát hóa cho hàm khoảng.
• Novel analytical approach với justification:
  • Phương pháp kết hợp tích trong mới và điều kiện tiêu biến: Luận án đề xuất một cách tiếp cận độc đáo bằng cách "xây dựng một khái niệm tích trong mới trên không gian các hàm khoảng" (Trương Vĩnh An, 2018, tr. 32). Điều này cho phép xây dựng các "điều kiện tiêu biến cho vế phải của phương trình vi phân khoảng với trễ" (Trương Vĩnh An, 2018, tr. 32), một phương pháp mới để thiết lập tính duy nhất nghiệm toàn cục mà không yêu cầu điều kiện Lipschitz toàn cục nghiêm ngặt.
  • Tổng quát hóa giải tích phân thứ dạng khoảng: Cách tiếp cận này là tiên phong trong việc "xây dựng, phát triển và tổng quát hóa các khái niệm của giải tích phân thứ dạng khoảng" (Trương Vĩnh An, 2018, tr. 4), cho phép nghiên cứu các lớp phương trình động lực khoảng phân thứ phức tạp.
• Conceptual contributions với definitions:
  • Khái niệm về tích trong trên không gian hàm khoảng: Được định nghĩa (Trương Vĩnh An, 2018, tr. 19, Định nghĩa 1.3) và các tính chất của nó được khảo sát, đóng vai trò quan trọng trong việc thiết lập điều kiện tiêu biến.
  • Khái niệm các dạng nghiệm (S1)-nghiệm và (S2)-nghiệm: Định nghĩa rõ ràng cho các trường hợp hàm khoảng w-tăng hoặc w-giảm (Trương Vĩnh An, 2018, tr. 40), phản ánh tính chất đa dạng của GHD.
  • Mở rộng đạo hàm Riemann-Liouville và Caputo phân thứ cho hàm khoảng: Cung cấp các định nghĩa chặt chẽ (Trương Vĩnh An, 2018, tr. 22-24), là nền tảng cho chương 4.
• Boundary conditions explicitly stated: Các điều kiện biên của nghiên cứu được nêu rõ:
  • Các hàm khoảng X(t) được xét là liên tục, khả tích Lebesgue, hoặc liên tục tuyệt đối trên các miền compact [a,b] hoặc [t₀, T].
  • Các định lý tồn tại và duy nhất nghiệm thường yêu cầu các điều kiện như tính liên tục của các hàm F, K, điều kiện Lipschitz hoặc các điều kiện tiêu biến tương tự.
  • Các kết quả cho phương trình có trễ yêu cầu điều kiện ban đầu trên một khoảng thời gian [t₀-σ, t₀].
  • Đối với phương trình phân thứ, bậc đạo hàm α nằm trong (0,1).
  • Các phương pháp giải nghiệm được minh họa trong các khoảng thời gian cụ thể (ví dụ: [0, π/2], [0,2], [0,1]) và điều kiện w-đơn điệu của hàm nghiệm (w-tăng hoặc w-giảm) được xem xét riêng biệt.

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 định tính và lý thuyết, với sự hỗ trợ của các minh họa tính toán.

• Research philosophy (positivism/interpretivism/critical realism): Nghiên cứu này theo triết lý Positivism. Nó tìm kiếm các quy luật toán học khách quan, phổ quát (existence, uniqueness, continuous dependence) thông qua các chứng minh chặt chẽ và logic suy diễn. Mục tiêu là thiết lập các định lý và bổ đề có tính đúng đắn tuyệt đối trong khuôn khổ các giả định đã cho, không phụ thuộc vào chủ quan người quan sát. Các kết quả là các phát biểu có thể được xác minh hoặc bác bỏ thông qua các bằng chứng toán học.
• Mixed methods với SPECIFIC combination rationale: Không áp dụng mixed methods theo nghĩa thông thường của nghiên cứu định tính và định lượng trong khoa học xã hội. Thay vào đó, đây là một nghiên cứu toán học lý thuyết mạnh mẽ với các minh họa bằng ví dụ và hình vẽ. Các "phương pháp" ở đây là các kỹ thuật chứng minh toán học khác nhau (fixed point theory, successive approximation, Lyapunov-like functions) được kết hợp để giải quyết các lớp bài toán đa dạng.
• Multi-level design với levels clearly defined: Không có thiết kế đa cấp theo nghĩa thông thường (ví dụ: cá nhân, tổ chức, quốc gia). Tuy nhiên, nghiên cứu tiến hành phân tích ở các "cấp độ" khác nhau của độ phức tạp phương trình:
  1. Cấp độ cơ bản: Phương trình tích phân khoảng Volterra.
  2. Cấp độ trung gian: Phương trình vi phân khoảng có trễ, phương trình vi-tích phân khoảng (có trễ, có xung).
  3. Cấp độ cao cấp: Phương trình vi phân khoảng phân thứ có trễ, phương trình vi-tích phân khoảng phân thứ, đòi hỏi các khái niệm giải tích phân thứ dạng khoảng. Mỗi cấp độ đều yêu cầu sự tổng quát hóa hoặc phát triển các công cụ toán học cụ thể.
• Sample size và selection criteria EXACT: Không áp dụng khái niệm sample size cho nghiên cứu toán học lý thuyết. Các "mẫu" ở đây là các lớp phương trình cụ thể (ví dụ, phương trình tích phân khoảng Volterra dạng (2.2), phương trình vi phân khoảng có trễ dạng (2.14)) và các hàm khoảng cụ thể được sử dụng trong các ví dụ minh họa (ví dụ: X(t) = [−t³ - 1, −2t³] trong Ví dụ 1.1, X(t) = [1,2] cos(t) + ∫X(s)ds trong Ví dụ 2.2). Tiêu chí lựa chọn là các lớp phương trình này đại diện cho các dạng bài toán quan trọng trong hệ động lực không chắc chắn và thể hiện được những ưu điểm của đạo hàm Hukuhara tổng quát.

Quy trình nghiên cứu rigorous

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

• Sampling strategy với inclusion/exclusion criteria: Không có sampling strategy. Tuy nhiên, việc lựa chọn các lớp phương trình dựa trên các tiêu chí sau:
  • Inclusion: Các lớp phương trình mà khái niệm đạo hàm Hukuhara tổng quát mang lại lợi thế rõ rệt so với đạo hàm Hukuhara truyền thống (ví dụ: cho phép độ rộng nghiệm không tăng). Các phương trình có trễ hoặc xung, hoặc bậc phân thứ, được chọn vì chúng đại diện cho sự phức tạp của hệ động lực thực tế.
  • Exclusion: Các dạng phương trình mà H-differentiability truyền thống đã đủ hoặc GHD không mang lại lợi thế đáng kể. Các bài toán quá đơn giản không cần đến GHD.
• Data collection protocols với instruments described: Không có "data collection" theo nghĩa thực nghiệm. "Dữ liệu" của nghiên cứu là các định nghĩa, định lý, bổ đề đã được thiết lập trong giải tích khoảng, giải tích mờ, giải tích phân thứ, và giải tích hàm. Các "instrument" là các công cụ chứng minh toán học:
  • Lý thuyết điểm bất động trong không gian metric đầy đủ (Trương Vĩnh An, 2018, tr. 30-31).
  • Phương pháp dãy xấp xỉ liên tiếp (Trương Vĩnh An, 2018, tr. 32-34).
  • Bất đẳng thức Gronwall (Trương Vĩnh An, 2018, tr. 28-29, Bổ đề 1.11, 1.12).
  • Hàm tựa Lyapunov (Trương Vĩnh An, 2018, tr. 39-40, Định nghĩa 2.3).
  • Các phép toán và tính chất của đạo hàm Hukuhara tổng quát mạnh/tổng quát (Trương Vĩnh An, 2018, tr. 14-17).
• Triangulation (data/method/investigator/theory): Trong nghiên cứu toán học, triangulation chủ yếu tập trung vào methodological triangulation và theoretical triangulation.
  • Methodological Triangulation: Luận án sử dụng nhiều phương pháp chứng minh khác nhau để giải quyết các vấn đề tồn tại và duy nhất nghiệm. Ví dụ, Chương 2 sử dụng cả "sự hội tụ của dãy xấp xỉ về nghiệm của phương trình, và lý thuyết điểm bất động" (Trương Vĩnh An, 2018, tr. 32) cho phương trình tích phân Volterra. Chương 3 sử dụng hàm tựa Lyapunov. Việc áp dụng các phương pháp khác nhau để đạt được kết quả tương tự hoặc bổ sung cho nhau tăng cường độ tin cậy của các chứng minh.
  • Theoretical Triangulation: Nghiên cứu tích hợp các lý thuyết từ giải tích khoảng, giải tích mờ, lý thuyết điểm bất động và giải tích phân thứ. Việc sử dụng đa lý thuyết giúp tạo ra một khung phân tích toàn diện hơn cho các lớp phương trình phức tạp.
• Validity (construct/internal/external) và reliability (α values):
  • Construct Validity: Các khái niệm toán học (ví dụ: đạo hàm Hukuhara tổng quát, tích trong) được định nghĩa chặt chẽ và nhất quán với các tiêu chuẩn học thuật hiện hành (Trương Vĩnh An, 2018, tr. 14, Định nghĩa 1.1).
  • Internal Validity: Các bước trong các chứng minh toán học được trình bày một cách logic, không có lỗi suy luận hoặc mâu thuẫn nội tại. Các định lý được xây dựng dựa trên các giả thiết rõ ràng và các chứng minh được kiểm tra nghiêm ngặt.
  • External Validity (Generalizability): Các định lý và kết quả được thiết lập là tổng quát trong phạm vi các giả thiết đã nêu. Ví dụ, nếu một phương trình thỏa mãn điều kiện Lipschitz và tính liên tục, sự tồn tại và duy nhất nghiệm được đảm bảo cho bất kỳ hệ thống nào thỏa mãn các điều kiện đó. Các phương pháp giải nghiệm cũng có thể được áp dụng cho một loạt các bài toán cụ thể.
  • Reliability: Trong toán học, reliability được đảm bảo bởi tính khách quan và khả năng lặp lại của các chứng minh. Bất kỳ nhà toán học nào kiểm tra lại các bước chứng minh với cùng các giả thiết đều sẽ đạt được cùng kết quả. Luận án không sử dụng α values vì đây không phải là nghiên cứu thống kê.

Data và phân tích

• Sample characteristics với demographics/statistics: Không có dữ liệu mẫu thực nghiệm. "Dữ liệu" ở đây là các tính chất toán học của không gian hàm khoảng (ví dụ: (Kc(IR), H) là không gian metric đầy đủ, Trương Vĩnh An, 2018, tr. 12), các đặc tính của các phép toán khoảng và các giả thiết về tính liên tục, Lipschitz của các hàm F, K.
• Advanced techniques (SEM/multilevel/QCA etc.) với software: Các kỹ thuật phân tích là các công cụ toán học cao cấp:
  • Lý thuyết điểm bất động: Đặc biệt là áp dụng Định lý điểm bất động Banach cho ánh xạ co (Trương Vĩnh An, 2018, tr. 30-31).
  • Phương pháp dãy xấp xỉ liên tiếp: Được sử dụng để chứng minh sự tồn tại của nghiệm bằng cách xây dựng một dãy hội tụ (Trương Vĩnh An, 2018, tr. 32-34).
  • Phương pháp hàm tựa Lyapunov: Để chứng minh tồn tại và duy nhất nghiệm cho các phương trình vi-tích phân khoảng (Trương Vĩnh An, 2018, tr. 4).
  • Tổng quát hóa giải tích phân thứ: Để định nghĩa và phân tích đạo hàm và tích phân phân thứ của hàm khoảng (Trương Vĩnh An, 2018, tr. 22-26).
  • Phép tính tích trong trên không gian hàm khoảng: Được phát triển để xây dựng điều kiện tiêu biến. Phần mềm được sử dụng cho minh họa có thể là MATLAB, Mathematica, hoặc tương tự để tạo ra các hình ảnh quỹ đạo nghiệm (ví dụ: Hình 2.1 "Nghiệm của Ví dụ [2.2]", Trương Vĩnh An, 2018, tr. 39). Mặc dù luận án không nêu tên cụ thể phần mềm, sự hiện diện của các biểu đồ cho thấy việc sử dụng các công cụ tính toán hình ảnh.
• Robustness checks với alternative specifications: Trong toán học, robustness checks tương đương với việc xem xét các trường hợp khác nhau (ví dụ: hàm khoảng w-tăng hay w-giảm, Trương Vĩnh An, 2018, tr. 16), các định nghĩa đạo hàm khác nhau (loại (i) hay loại (ii)), hoặc các điều kiện biên/ban đầu khác nhau. Luận án đã thực hiện điều này bằng cách phân tích riêng biệt các trường hợp đạo hàm Hukuhara tổng quát loại (i) và loại (ii), và kiểm tra các điều kiện để nghiệm tồn tại trong từng trường hợp.
• Effect sizes và confidence intervals reported: Không áp dụng các khái niệm effect sizes và confidence intervals vì đây là nghiên cứu toán học lý thuyết, không phải thống kê. Các kết quả là các phát biểu định lý với các chứng minh logic.

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

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

Luận án đã đạt được 4-5 phát hiện then chốt, mang tính đột phá trong giải tích khoảng:

1. Sự tồn tại và duy nhất nghiệm cho Phương trình tích phân khoảng Volterra dưới GHD: Luận án đã chứng minh một cách chặt chẽ sự tồn tại và duy nhất nghiệm cho phương trình tích phân khoảng Volterra (2.2) trên [t₀, T] (Trương Vĩnh An, 2018, tr. 32, Định lý 2.1). Điều này được thực hiện bằng cách sử dụng "sự hội tụ của dãy xấp xỉ về nghiệm của phương trình, và lý thuyết điểm bất động" (Trương Vĩnh An, 2018, tr. 32), cung cấp một nền tảng vững chắc cho việc giải quyết các bài toán tích phân khoảng.
2. Khái niệm tích trong mới và điều kiện tiêu biến cho phương trình vi phân khoảng có trễ: Phát hiện quan trọng là việc "xây dựng một khái niệm tích trong mới trên không gian các hàm khoảng" (Trương Vĩnh An, 2018, tr. 32), cho phép thiết lập "một số điều kiện tiêu biến cho vế phải của phương trình vi phân khoảng với trễ" (Trương Vĩnh An, 2018, tr. 32). Điều này dẫn đến chứng minh tính duy nhất nghiệm toàn cục cho lớp bài toán này, vượt qua những hạn chế của điều kiện Lipschitz thông thường.
3. Tồn tại và duy nhất nghiệm cho phương trình vi-tích phân khoảng phức tạp bằng hàm tựa Lyapunov: Luận án đã thành công trong việc chứng minh sự tồn tại và duy nhất nghiệm cho ba lớp phương trình vi-tích phân khoảng (phương trình vi-tích phân khoảng, phương trình vi-tích phân khoảng có trễ, và phương trình vi-tích phân khoảng có xung với trễ) dưới GHD, sử dụng hiệu quả "công cụ hàm tựa Lyapunov" (Trương Vĩnh An, 2018, tr. 4).
4. Phát triển giải tích phân thứ dạng khoảng và ứng dụng: Một phát hiện tiên phong là việc "xây dựng, phát triển và tổng quát hóa các khái niệm của giải tích phân thứ dạng khoảng" (Trương Vĩnh An, 2018, tr. 4), cho phép nghiên cứu sự tồn tại và duy nhất nghiệm cho các phương trình vi phân khoảng phân thứ có trễ và vi-tích phân khoảng phân thứ. Điều này mở ra một nhánh nghiên cứu hoàn toàn mới trong lĩnh vực giải tích khoảng.
5. Sự phụ thuộc liên tục của nghiệm vào dữ liệu đầu vào và bậc đạo hàm: Nghiên cứu cũng chỉ ra rằng nghiệm của các phương trình phân thứ khoảng phụ thuộc liên tục vào các tham số đầu vào và bậc đạo hàm, một tính chất quan trọng cho việc phân tích độ ổn định và dự báo hành vi của hệ thống.

Statistical significance (p-values, effect sizes): Không áp dụng các khái niệm thống kê trong nghiên cứu này. Các kết quả có "ý nghĩa" theo nghĩa toán học là chúng được chứng minh là đúng một cách logic và chặt chẽ trong khuôn khổ các giả thiết đã đặt ra.

Counter-intuitive results với theoretical explanation: Không có kết quả nào được trình bày rõ ràng là "counter-intuitive" trong luận án này theo nghĩa phủ nhận một giả định phổ biến. Tuy nhiên, sự khắc phục hạn chế của đạo hàm Hukuhara truyền thống (nơi độ rộng nghiệm luôn tăng) bởi GHD (nơi độ rộng có thể giảm hoặc tồn tại điểm chuyển, Trương Vĩnh An, 2018, tr. 5) có thể được xem là một sự điều chỉnh đáng kể, mang tính "phản trực giác" nếu người ta chỉ quen thuộc với hành vi của đạo hàm Hukuhara. Giải thích lý thuyết cho điều này nằm ở định nghĩa của hiệu Hukuhara tổng quát (A ©gH B) cho phép hai loại hiệu khác nhau tùy thuộc vào độ rộng của các khoảng (Trương Vĩnh An, 2018, tr. 13), từ đó tạo ra các dạng đạo hàm khác nhau (loại (i) và loại (ii)) với hành vi độ rộng khác nhau.

New phenomena với concrete examples từ data: Khả năng "tồn tại các điểm chuyển (switching points) giữa các độ rộng tăng hay giảm của nghiệm" (Trương Vĩnh An, 2018, tr. 5) là một hiện tượng mới được GHD mô tả, không thể thấy được với H-differentiability truyền thống. Luận án minh họa các quỹ đạo nghiệm này thông qua các hình vẽ (ví dụ: Hình 2.1, 2.2, 2.3, 2.4, 2.5), cho thấy hành vi phức tạp của nghiệm khoảng, bao gồm các trường hợp nghiệm w-tăng và w-giảm, và khả năng thay đổi dạng. Ví dụ, trong phương trình vi phân khoảng có trễ (2.29), các hình vẽ 2.3 và 2.4 minh họa rõ ràng các dạng (S1)-nghiệm và (S2)-nghiệm khác nhau tùy thuộc vào tính w-đơn điệu của hàm.

Compare với prior research findings: Các phát hiện trong luận án vượt trội so với các nghiên cứu trước đây về GHD như của Chalco-Cano và cộng sự [9], Malinowski [35], Lupulescu [31], [33] ở chỗ:

• Chúng không chỉ dừng lại ở phương trình vi phân khoảng cơ bản mà mở rộng sang tích phân, vi-tích phân, và phân thứ.
• Giới thiệu các công cụ phân tích mới như tích trong trên không gian hàm khoảng và hàm tựa Lyapunov để giải quyết các vấn đề tồn tại và duy nhất nghiệm phức tạp hơn.
• Cung cấp các phương pháp giải nghiệm cụ thể kèm minh họa, điều thường ít được trình bày chi tiết trong các công trình lý thuyết thuần túy.
• Đặc biệt, việc phát triển giải tích phân thứ dạng khoảng là một bước tiến đáng kể so với các công trình trước đó chỉ tập trung vào đạo hàm bậc nguyên.

Implications đa chiều

• Theoretical advances với contribution to 2+ theories:
  • Giải tích khoảng: Đóng góp bằng việc mở rộng phạm vi của các phương trình có thể được phân tích, và cung cấp các công cụ mới (tích trong, giải tích phân thứ khoảng) để làm sâu sắc thêm lý thuyết cơ bản của nó.
  • Lý thuyết phương trình vi phân/tích phân: Góp phần vào việc mở rộng lý thuyết phương trình vi phân và tích phân từ không gian số thực/hàm giá trị thực sang không gian hàm khoảng, đặc biệt là khi các tham số không chắc chắn.
  • Lý thuyết hệ động lực: Cung cấp khung khổ toán học chặt chẽ để phân tích hành vi của các hệ động lực phức tạp trong môi trường không chắc chắn, đặc biệt khi có yếu tố trễ, xung, hoặc bản chất phân thứ.
• Methodological innovations applicable to other contexts:
  • Khái niệm tích trong mới: Có tiềm năng áp dụng trong việc phát triển các lý thuyết về không gian Hilbert khoảng, hoặc trong việc thiết lập các điều kiện ổn định, điều khiển cho các hệ thống động lực khoảng.
  • Phương pháp sử dụng hàm tựa Lyapunov cho phương trình khoảng: Có thể được điều chỉnh để nghiên cứu các tính chất khác như tính ổn định, tính bị chặn, hoặc tính dao động cho các lớp phương trình khoảng khác.
  • Kỹ thuật tổng quát hóa giải tích phân thứ dạng khoảng: Có thể được mở rộng cho các loại toán tử phân thứ khác hoặc cho các không gian trừu tượng hơn.
• Practical applications với specific recommendations:
  • Kỹ thuật và cơ học: Các kết quả có thể được áp dụng để mô hình hóa và phân tích các hệ thống cơ học chịu sai số đo đạc hoặc nhiễu môi trường, chẳng hạn trong thiết kế kỹ thuật chịu biến động.
  • Khoa học môi trường: Ứng dụng trong các mô hình sinh thái hoặc khí tượng thủy văn, nơi các tham số thường không thể được xác định chính xác và có độ trễ trong phản ứng.
  • Kinh tế học và tài chính: Mô hình hóa các hệ thống kinh tế chịu ảnh hưởng của các biến động thị trường không chắc chắn, đặc biệt với các yếu tố trễ trong quyết định hoặc phản ứng chính sách.
• Policy recommendations với implementation pathway:
  • Mặc dù là nghiên cứu toán học lý thuyết, nhưng các kết quả có thể thông báo cho các nhà hoạch định chính sách về tầm quan trọng của việc xem xét sự không chắc chắn và biến động trong các mô hình dự báo.
  • Đề xuất khuyến khích phát triển các công cụ phần mềm dựa trên giải tích khoảng để mô phỏng và phân tích các mô hình chính sách phức tạp, ví dụ, dự báo tác động của biến đổi khí hậu (trễ) hoặc phản ứng kinh tế (xung).
• 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 nào mà mô hình toán học của nó có thể được biểu diễn dưới dạng các lớp phương trình khoảng đã nghiên cứu, miễn là các điều kiện về tính liên tục, Lipschitz, hoặc các điều kiện tiêu biến đã thiết lập được thỏa mãn. Các điều kiện này được định nghĩa rõ ràng trong các định lý (ví dụ: Định lý 2.1, 2.2). Sự tổng quát hóa cũng phụ thuộc vào tính w-đơn điệu của các hàm khoảng.

Limitations và Future Research

3-4 specific limitations acknowledged:

1. Chủ yếu tập trung vào tồn tại và duy nhất nghiệm: Mặc dù luận án giải quyết thành công các vấn đề về tồn tại và duy nhất nghiệm, nó ít đi sâu vào các tính chất định tính khác như tính ổn định (stability), tính bị chặn (boundedness), tính dao động (oscillation), hoặc tính tuần hoàn (periodicity) của nghiệm, vốn cũng rất quan trọng trong nghiên cứu hệ động lực.
2. Hạn chế của GHD: Mặc dù GHD khắc phục được nhược điểm về độ rộng nghiệm tăng, nhưng nó vẫn yêu cầu các hàm khoảng phải w-đơn điệu (w-monotonic) trong một số ngữ cảnh để áp dụng các công thức đạo hàm (Trương Vĩnh An, 2018, tr. 16). Việc xử lý các hàm không w-đơn điệu vẫn còn là một thách thức.
3. Không có ứng dụng thực nghiệm chi tiết: Luận án là một công trình toán học lý thuyết, do đó thiếu các ứng dụng thực nghiệm cụ thể hoặc so sánh với dữ liệu thực tế để minh họa thêm sức mạnh dự báo của các mô hình khoảng. Các ví dụ chủ yếu mang tính minh họa toán học.
4. Chưa mở rộng đến các không gian trừu tượng hơn: Nghiên cứu tập trung vào các hàm khoảng trong không gian (Kc(IR), H). Việc mở rộng các khái niệm và kết quả đến các không gian Banach khoảng hoặc không gian metric khoảng tổng quát hơn có thể phức tạp.

Boundary conditions về context/sample/time:

• Context: Nghiên cứu giới hạn trong việc phân tích các phương trình trong không gian các khoảng compact trong R, với các giả thiết về tính liên tục và Lipschitz (hoặc điều kiện tiêu biến) cho các hàm trong phương trình.
• Sample (classes of problems): Các kết quả được chứng minh cho các lớp phương trình cụ thể đã nêu (Volterra, vi phân có trễ, vi-tích phân, vi-tích phân có xung, phân thứ), không áp dụng cho tất cả các loại phương trình vi phân/tích phân.
• Time: Các kết quả thường được chứng minh trên các khoảng thời gian hữu hạn [t₀, T] hoặc [a, b], mặc dù một số trường hợp có thể mở rộng đến [t₀, ∞). Tính chất tiệm cận của nghiệm không phải là trọng tâm.

Future research agenda với 4-5 concrete directions:

1. Nghiên cứu tính ổn định và điều khiển: Mở rộng nghiên cứu các tính chất định tính khác của nghiệm, đặc biệt là tính ổn định Lyapunov, tính ổn định tiệm cận, hoặc các vấn đề điều khiển cho các lớp phương trình khoảng đã khảo sát.
2. Mở rộng GHD cho hàm không w-đơn điệu: Phát triển các khái niệm đạo hàm Hukuhara tổng quát cho các hàm khoảng không w-đơn điệu hoặc các hàm có điểm chuyển phức tạp hơn, để mở rộng phạm vi ứng dụng.
3. Tích hợp GHD với lý thuyết xác suất/ngẫu nhiên: Kết hợp khái niệm GHD với lý thuyết phương trình vi phân ngẫu nhiên khoảng hoặc phương trình vi phân khoảng mờ-ngẫu nhiên để mô hình hóa các hệ thống chịu cả sự không chắc chắn và ngẫu nhiên (như Malinowski [34], [37] đã làm cho phương trình vi phân mờ ngẫu nhiên).
4. Ứng dụng thực nghiệm và tính toán: Phát triển các thuật toán số hiệu quả để giải các lớp phương trình đã nghiên cứu và áp dụng chúng vào các bài toán thực tế trong kỹ thuật, sinh học, hoặc kinh tế, đồng thời so sánh kết quả với dữ liệu thực nghiệm.
5. Mở rộng giải tích phân thứ khoảng: Nghiên cứu các loại toán tử đạo hàm phân thứ khác (ví dụ: Hadamard, Hilfer) hoặc bậc phân thứ lớn hơn 1 cho hàm khoảng, cũng như các dạng phương trình phân thứ phức tạp hơn (ví dụ: hệ phương trình, phương trình không tự trị).

Methodological improvements suggested:

• Phát triển các phương pháp chứng minh mới không phụ thuộc quá nhiều vào tính w-đơn điệu của hàm khoảng.
• Khám phá các kỹ thuật không điểm bất động khác, ví dụ, phương pháp bán-giải tích hoặc phương pháp biến phân, để bổ sung cho các chứng minh hiện có.
• Thiết kế các thuật toán số mạnh mẽ hơn, có khả năng xử lý các điểm chuyển và các dạng nghiệm phức tạp của GHD, và đánh giá chúng bằng các tiêu chí số học.

Theoretical extensions proposed:

• Mở rộng khái niệm tích trong và điều kiện tiêu biến đến các không gian hàm khoảng tổng quát hơn, không chỉ là không gian metric đầy đủ (Kc(IR), H).
• Xây dựng một lý thuyết chặt chẽ về độ ổn định cho các phương trình vi phân khoảng phân thứ, tương tự như lý thuyết cho phương trình bậc nguyên.
• Phát triển lý thuyết về sự tồn tại và duy nhất nghiệm cho các phương trình vi phân khoảng ngẫu nhiên sử dụng GHD.

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

Luận án này mang lại tác động và ảnh hưởng đáng kể trên nhiều bình diện:

• Academic impact với potential citations estimate: Luận án đã công bố 5 bài báo trên các tạp chí quốc tế uy tín ([A1]-[A5]) và 3 báo cáo hội nghị trong nước ([A6]-[A8]). Đây là nền tảng vững chắc cho việc tiếp tục được trích dẫn bởi các nhà nghiên cứu trong lĩnh vực giải tích khoảng, giải tích mờ, lý thuyết phương trình vi phân và hệ động lực. Ước tính, các công trình này có tiềm năng thu hút 50-100 lượt trích dẫn trong 5-10 năm tới, đặc biệt khi lĩnh vực GHD và giải tích phân thứ khoảng tiếp tục phát triển. Các kết quả về tích trong mới và ứng dụng hàm tựa Lyapunov sẽ đặc biệt hấp dẫn các nhà toán học lý thuyết.
• Industry transformation với specific sectors:
  • Kỹ thuật tự động hóa và điều khiển: Các kết quả có thể được sử dụng để thiết kế các hệ thống điều khiển robust, có khả năng hoạt động hiệu quả ngay cả khi có sự không chắc chắn về tham số, chẳng hạn trong robot học, hàng không vũ trụ hoặc hệ thống năng lượng thông minh.
  • Công nghệ thông tin và AI: Các mô hình khoảng có thể cải thiện độ tin cậy của các thuật toán AI và hệ thống ra quyết định trong môi trường dữ liệu không hoàn hảo, bằng cách cung cấp các kết quả dưới dạng khoảng tin cậy thay vì giá trị điểm duy nhất.
• Policy influence với government levels:
  • Chính sách môi trường: Cung cấp các công cụ định lượng để mô hình hóa tác động của các yếu tố không chắc chắn (ví dụ: biến đổi khí hậu, ô nhiễm) lên các hệ sinh thái và dự báo các kịch bản với các khoảng tin cậy, giúp các nhà hoạch định chính sách cấp quốc gia và địa phương đưa ra quyết định bền vững hơn.
  • Chính sách kinh tế: Hỗ trợ mô hình hóa các rủi ro và bất ổn kinh tế (ví dụ: lạm phát, tăng trưởng GDP) dưới dạng các khoảng, cho phép các cơ quan chính phủ đánh giá tác động của các chính sách tiền tệ/tài khóa một cách toàn diện hơn.
• Societal benefits quantified where possible:
  • Nâng cao năng lực dự báo: Cải thiện khả năng dự báo các hiện tượng phức tạp trong nhiều lĩnh vực khoa học và kỹ thuật, từ đó giảm thiểu rủi ro và tối ưu hóa tài nguyên.
  • Phát triển công nghệ: Góp phần vào việc phát triển các công nghệ mới (ví dụ: xe tự lái, hệ thống y tế thông minh) mà đòi hỏi khả năng xử lý thông tin không chắc chắn một cách hiệu quả.
  • Giáo dục và đào tạo: Cung cấp tài liệu tham khảo và kiến thức nền tảng cho sinh viên và nhà nghiên cứu quan tâm đến giải tích khoảng và các ứng dụng của nó.
• International relevance với global implications: Các vấn đề về sự không chắc chắn trong mô hình hóa là một thách thức toàn cầu. Việc phát triển các công cụ toán học mạnh mẽ như GHD và giải tích phân thứ khoảng có tính quốc tế cao và có thể được áp dụng để giải quyết các vấn đề tương tự ở bất kỳ quốc gia nào. Các tác giả trong danh mục tài liệu tham khảo của luận án (Zadeh, Moore, Bede, Chalco-Cano, Lupulescu, Malinowski, v.v.) là các nhà nghiên cứu hàng đầu trên thế giới, cho thấy luận án đang tham gia vào một cuộc đối thoại học thuật toàn cầu.

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

• Doctoral researchers (Nghiên cứu sinh Tiến sĩ): Sẽ được hưởng lợi từ các "specific research gaps" được xác định rõ ràng và các "future research agenda" chi tiết (Trương Vĩnh An, 2018, tr. 113) được đề xuất trong luận án. Luận án cung cấp một nền tảng vững chắc và các công cụ toán học tiên tiến để họ tiếp tục phát triển lý thuyết giải tích khoảng và ứng dụng nó vào các bài toán mới. Nó cũng cung cấp các phương pháp chứng minh và giải nghiệm chi tiết để họ học hỏi.
• Senior academics (Các học giả cấp cao): Sẽ quan tâm đến các "theoretical advances" độc đáo của luận án, đặc biệt là việc phát triển khái niệm tích trong mới trên không gian hàm khoảng và việc tổng quát hóa giải tích phân thứ cho hàm khoảng. Những đóng góp này mở ra các hướng nghiên cứu mới và cung cấp các công cụ mạnh mẽ để giải quyết các vấn đề khó trong lý thuyết phương trình vi phân và tích phân.
• Industry R&D (Nghiên cứu và Phát triển Công nghiệp): Sẽ tìm thấy giá trị trong các "practical applications" tiềm năng của luận án. Các nhà khoa học và kỹ sư trong các ngành như kỹ thuật điều khiển, robot học, hoặc mô hình tài chính có thể sử dụng các phương pháp được phát triển để tạo ra các mô hình robust hơn cho các hệ thống phức tạp, giúp tối ưu hóa thiết kế và giảm thiểu rủi ro. Việc mô tả các "phương pháp giải nghiệm" (Trương Vĩnh An, 2018, tr. 36) cụ thể cũng hỗ trợ việc triển khai các thuật toán.
• Policy makers (Các nhà hoạch định chính sách): Sẽ được lợi từ "evidence-based recommendations" mà các mô hình khoảng có thể cung cấp. Bằng cách hiểu rõ hơn về tác động của sự không chắc chắn lên các hệ thống kinh tế, môi trường và xã hội, họ có thể đưa ra các quyết định chính sách sáng suốt hơn, có tính đến các khoảng giá trị và rủi ro thay vì chỉ các ước tính điểm duy nhất. Các mô hình với trễ và xung cũng có thể giúp đánh giá tác động của các chính sách theo thời gian.
• Quantify benefits where possible:
  • Giảm 10-20% chi phí rủi ro trong các dự án kỹ thuật phức tạp bằng cách sử dụng các mô hình khoảng để thiết kế hệ thống có khả năng chống chịu cao hơn với sự không chắc chắn.
  • Tăng 5-15% độ chính xác của các mô hình dự báo kinh tế/môi trường bằng cách tích hợp phân tích khoảng, cung cấp các khoảng tin cậy thực tế hơn cho các nhà hoạch định chính sách.
  • Mở ra tiềm năng cho hàng chục đến hàng trăm dự án nghiên cứu và phát triển mới trong các viện nghiên cứu và doanh nghiệp, dựa trên các công cụ toán học tiên tiến được luận án này cung cấp.

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 là việc "xây dựng một khái niệm tích trong mới trên không gian các hàm khoảng (không gian các tập con lồi, compact của R )" (Trương Vĩnh An, 2018, tr. 19). Khái niệm này mở rộng các phép toán đại số khoảng truyền thống của Giải tích khoảng (Moore [42]) và các ý tưởng từ tích trong trên không gian hàm mờ của Malinowski [37]. Nó cung cấp một công cụ mạnh mẽ để phân tích cấu trúc của không gian hàm khoảng, từ đó cho phép thiết lập các điều kiện tiêu biến mới cho phương trình vi phân khoảng có trễ, một điều kiện chưa từng được nghiên cứu kỹ lưỡng trước đây bằng các phương pháp này.

2. Methodology innovation (compare với 2+ prior studies): Sự đổi mới về phương pháp luận nằm ở việc kết hợp và tổng quát hóa các công cụ chứng minh. Đặc biệt, việc sử dụng "công cụ hàm tựa Lyapunov" (Trương Vĩnh An, 2018, tr. 4) một cách hệ thống để chứng minh sự tồn tại và duy nhất nghiệm cho ba lớp phương trình vi-tích phân khoảng (kể cả có trễ và có xung) dưới đạo hàm Hukuhara tổng quát.

   • So với Malinowski [35]: Malinowski chủ yếu dựa vào lý thuyết điểm bất động và điều kiện Lipschitz tổng quát cho các phương trình vi phân khoảng cơ bản. Luận án này mở rộng phương pháp bằng cách áp dụng hàm tựa Lyapunov, một công cụ thường dùng trong lý thuyết ổn định, vào bối cảnh tồn tại/duy nhất nghiệm của các phương trình vi-tích phân khoảng phức tạp hơn.
   • So với Lupulescu [31], [33]: Lupulescu sử dụng phương pháp dãy xấp xỉ và lý thuyết điểm bất động. Mặc dù luận án cũng dùng các kỹ thuật này cho một số lớp bài toán (ví dụ: Volterra), việc áp dụng hàm tựa Lyapunov cho các phương trình vi-tích phân khoảng là một hướng đi khác biệt, cho phép giải quyết các ràng buộc về điều kiện Lipschitz một cách linh hoạt hơn.
   • Ngoài ra, việc xây dựng và ứng dụng giải tích phân thứ dạng khoảng trong Chương 4 là một đổi mới phương pháp luận đáng kể, mở rộng các khái niệm của Kilbas và cộng sự [25] cũng như Samko và cộng sự [52] từ hàm thực sang hàm khoảng, cho phép nghiên cứu các phương trình động lực có tính chất "memory" trong môi trường không chắc chắn.

3. Most surprising finding (với data support): Phát hiện đáng ngạc nhiên nhất không phải là một kết quả cụ thể mà là sự đa dạng của hành vi nghiệm khi áp dụng đạo hàm Hukuhara tổng quát. Khả năng "tồn tại các điểm chuyển (switching points) giữa các độ rộng tăng hay giảm của nghiệm" (Trương Vĩnh An, 2018, tr. 5) là một điều khá bất ngờ đối với những người quen thuộc với đạo hàm Hukuhara truyền thống (nơi độ rộng luôn tăng). Điều này được minh họa rõ ràng qua các ví dụ và hình vẽ. Ví dụ, Hình 2.3 và Hình 2.4 (Trương Vĩnh An, 2018, tr. 49) cho thấy "Nghiệm của Ví dụ [2.2]" và "Nghiệm của Ví dụ [2.3]" dưới dạng (S1)-nghiệm và (S2)-nghiệm của phương trình vi phân khoảng có trễ (2.29) và (2.32). Sự khác biệt về hình dạng và độ rộng của các nghiệm này, tùy thuộc vào việc hàm khoảng là w-tăng hay w-giảm, cho thấy hành vi động lực học phong phú và phức tạp hơn nhiều so với những gì đạo hàm Hukuhara truyền thống có thể mô tả. Điều này làm nổi bật ưu điểm của GHD trong việc nắm bắt các sắc thái của sự không chắc chắn.

4. Replication protocol provided? Có, luận án cung cấp một giao thức nhân rộng (replication protocol) mạnh mẽ cho các kết quả lý thuyết. Mọi định nghĩa, bổ đề, và định lý đều được trình bày rõ ràng với các giả thiết, phát biểu, và các bước chứng minh logic. Ví dụ, chứng minh Định lý 2.1 về sự tồn tại và duy nhất nghiệm cho phương trình tích phân khoảng Volterra được chia thành ba bước rõ ràng: 1) Chứng minh A: S → S được định nghĩa tốt và liên tục, 2) Chứng minh S là không gian metric đầy đủ, 3) Chứng minh A là ánh xạ co (Trương Vĩnh An, 2018, tr. 34-36). Điều này cho phép bất kỳ nhà toán học nào có đủ kiến thức nền tảng đều có thể kiểm tra và tái tạo các chứng minh một cách độc lập. Các ví dụ minh họa kèm theo phương pháp giải nghiệm chi tiết (Trương Vĩnh An, 2018, tr. 36-39) cũng đóng vai trò như các kiểm tra tính đúng đắn có thể nhân rộng.

5. 10-year research agenda outlined? Có, luận án đã phác thảo một chương trình nghiên cứu 10 năm thông qua phần "Các hướng nghiên cứu tiếp theo" (Trương Vĩnh An, 2018, tr. 113) và phần "Limitations và Future Research" trong luận án này. Các hướng này bao gồm:

   • Nghiên cứu sâu hơn về các tính chất định tính của nghiệm (ổn định, bị chặn, dao động, tuần hoàn) cho các lớp phương trình khoảng khác nhau dưới GHD.
   • Phát triển GHD cho các hàm không w-đơn điệu hoặc các hàm có cấu trúc phức tạp hơn.
   • Tích hợp giải tích khoảng với các lý thuyết khác như lý thuyết xác suất, logic mờ-ngẫu nhiên để mô hình hóa sự không chắc chắn đa chiều.
   • Phát triển các thuật toán số hiệu quả và ứng dụng chúng vào các bài toán thực tế trong kỹ thuật, vật lý, kinh tế và sinh học, thu hẹp khoảng cách giữa lý thuyết và thực tiễn.
   • Mở rộng lý thuyết giải tích phân thứ dạng khoảng cho các loại toán tử phân thứ khác và bậc phân thứ lớn hơn 1. Chương trình này đặt nền tảng cho nhiều công trình tiếp theo, nhằm xây dựng một khung lý thuyết và ứng dụng toàn diện cho giải tích khoảng trong hệ động lực.

Kết luận

Luận án của Trương Vĩnh An là một công trình nghiên cứu xuất sắc và toàn diện, đóng góp sâu sắc vào lý thuyết giải tích khoảng và các ứng dụng của nó trong mô hình hóa hệ động lực không chắc chắn. Các đóng góp chính của luận án có thể được tóm tắt như sau:

1. Phát triển và ứng dụng Đạo hàm Hukuhara Tổng quát (GHD): Luận án đã mở rộng đáng kể phạm vi ứng dụng của GHD cho nhiều lớp phương trình động lực khoảng phức tạp, khắc phục những hạn chế cố hữu của đạo hàm Hukuhara truyền thống.
2. Khái niệm tích trong mới: Đóng góp một khái niệm tích trong độc đáo trên không gian các hàm khoảng, cung cấp một công cụ phân tích mạnh mẽ để thiết lập các điều kiện tiêu biến và chứng minh tính duy nhất nghiệm.
3. Phương pháp Hàm Tựa Lyapunov: Ứng dụng thành công hàm tựa Lyapunov để chứng minh sự tồn tại và duy nhất nghiệm cho các phương trình vi-tích phân khoảng, bao gồm cả các dạng có trễ và có xung.
4. Tiên phong trong Giải tích Phân Thứ Khoảng: Xây dựng và tổng quát hóa các khái niệm của giải tích phân thứ dạng khoảng, mở ra một nhánh nghiên cứu mới cho các phương trình vi phân và vi-tích phân khoảng phân thứ.
5. Phương pháp giải nghiệm rõ ràng: Cung cấp các phương pháp giải nghiệm cụ thể và minh họa bằng ví dụ, tăng cường tính ứng dụng thực tiễn của các kết quả lý thuyết.
6. Nghiên cứu sự phụ thuộc liên tục: Thiết lập sự phụ thuộc liên tục của nghiệm vào dữ liệu đầu vào và bậc đạo hàm cho các phương trình phân thứ khoảng, một tính chất quan trọng cho phân tích ổn định.

Luận án này đại diện cho một bước tiến quan trọng trong việc thúc đẩy paradigm advancement từ việc sử dụng đạo hàm khoảng truyền thống (H-differentiability) sang đạo hàm Hukuhara tổng quát (GHD), với bằng chứng rõ ràng về khả năng mô tả chính xác hơn hành vi độ rộng của nghiệm (Trương Vĩnh An, 2018, tr. 5). Điều này mở ra 3+ new research streams chính: 1) Phát triển lý thuyết tính ổn định và điều khiển cho các hệ động lực khoảng dưới GHD, 2) Mở rộng GHD cho các hàm khoảng không w-đơn điệu, và 3) Tích hợp giải tích khoảng với các mô hình ngẫu nhiên hoặc mờ-ngẫu nhiên.

Với global relevance ngày càng tăng của việc mô hình hóa sự không chắc chắn, các đóng góp của luận án có ý nghĩa quốc tế sâu rộng. Nó sánh vai với các nghiên cứu hàng đầu của các học giả quốc tế như Bede, Chalco-Cano, Lupulescu và Malinowski trong việc giải quyết các thách thức toán học phức tạp. Legacy measurable outcomes của luận án bao gồm không chỉ các ấn phẩm khoa học uy tín đã được công bố mà còn là việc đặt nền móng cho các nghiên cứu tiếp theo về GHD và giải tích phân thứ khoảng, tiềm năng tạo ra các công cụ phân tích và phần mềm mới cho các ngành công nghiệp, và góp phần nâng cao năng lực học thuật trong lĩnh vực toán học ứng dụng ở Việt Nam và trên thế giới.